Search Results
07 Type Directed Compilation of Row typed Algebraic Effects
Efficient Compilation of Algebraic Effect Handlers
Abstracting Algebraic Effects
Structured asynchrony with algebraic effects
js_of_ocaml & algebraic effects
3 12 Combining Effects and Coeffects via Grading
11 Effective Concurrency through Algebraic Effects
Programming with Algebraic Effects and Handlers - Andrej Bauer - OPLSS 2018
Taming Control Flow through Linear Effect Handlers
03 A Logical Account of Type and Effect Systems
[POPL 2021] Asynchronous Effects (full)
Effects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism (OOPSLA'20)
![[POPL 2021] Asynchronous Effects (full)](https://img.youtube.com/vi/BPNxvRCnOBA/hqdefault.jpg)